若要求对大小为n的数组进行排序的时间复杂度为O(nlog₂n)，且是稳定的(即如果待排序的序列中两个数据元素具有相同的值,在排序前后它们的相对位置不变)，则可选择的排序方法是( )。